English translation for "theorem proving technique"

定理证明技术

Related Translations:

prove的过去式和过去分词:  proved

theorems:  定理

modularity theorem:  谷山-志村定理谷山志村猜想

isomorphism theorem:  第一同构定理同构基本定理同态基本定理

wieners theorem:  维纳自相关定理

uniqueness theorem:  唯一性定理一义性定理

bound theorem:  界限定理

cauchy theorem:  柯西定理

bayess theorem:  贝叶斯定理

dirichlet theorem:  狄利克雷定理

Similar Words：

"theorem on friends and strangers" English translation, "theorem prover" English translation, "theorem proving" English translation, "theorem proving machine" English translation, "theorem proving representation" English translation, "theorem work-energy" English translation, "theorematic" English translation, "theoremonadditionofprobabilities" English translation, "theorems" English translation, "theorems for limits" English translation